Paralleling the formal derivation of general relativity as a flat spacetime theory, we introduce in addition a preferred temporal foliation. The physical interpretation of the formalism is considered in the context of 5-dimensional “parametrized” and 4-dimensional preferred frame contexts. In the former case, we suggest that our earlier proposal of unconcatenated parametrized physics requires that the dependence on τ be rather slow. In the 4-dimensional case, we consider and tentatively reject several areas of physics that might require a preferred foliation, (...) but find a need for one in the process (“flowing”) theory of time. We then suggest why such a foliation might reasonably be unobservable. (shrink)

The A-theory of time has intuitive and metaphysical appeal, but suffers from tension, if not inconsistency, with the special and general theories of relativity (STR and GTR). The A-theory requires a notion of global simultaneity invariant under the symmetries of the world's laws, those ostensible transformations of the state of the world that in fact leave the world as it was before. Relativistic physics, if read in a realistic sense, denies that there exists any notion of global simultaneity that is (...) invariant under the symmetries of the world's laws. If physics is at least a decent guide to metaphysics--as sympathies for scientific realism would suggest--then relativistic physics supports the B-theory. If there were a physically natural way to modify the symmetries of the physical laws so as to remove those that are repugnant to the A-theory, while retaining empirical adequacy, then such an altered physics might be attractive to the A-theorist and would weaken the support given by relativity to the B-theory. I exhibit a way to do so here, displaying a Lagrangian density explicitly containing distant simultaneity, yet implying Einstein's field equations. The modification involves a change in the nature of the lapse function and makes use of the Dirac-Bergmann formalism of constrained dynamics, which recently has been discussed much by John Earman. Here this formalism is adapted slightly to permit both local and global generalized coordinates. A classification of senses in which time might be absolute or not is made along the way. Some suggestions for extending the work by finding a first principles motivation are made. An appendix outlines an argument why many local presents are insufficient and a global present is attractive, while two more appendices review the Dirac-Bergmann apparatus for GTR and then apply it to the theory at hand. (shrink)

What if gravity satisfied the Klein-Gordon equation? Both particle physics from the 1920s-30s and the 1890s Neumann-Seeliger modification of Newtonian gravity with exponential decay suggest considering a "graviton mass term" for gravity, which is _algebraic_ in the potential. Unlike Nordström's "massless" theory, massive scalar gravity is strictly special relativistic in the sense of being invariant under the Poincaré group but not the 15-parameter Bateman-Cunningham conformal group. It therefore exhibits the whole of Minkowski space-time structure, albeit only indirectly concerning volumes. Massive (...) scalar gravity is plausible in terms of relativistic field theory, while violating most interesting versions of Einstein's principles of general covariance, general relativity, equivalence, and Mach. Geometry is a poor guide to understanding massive scalar gravity: matter sees a conformally flat metric due to universal coupling, but gravity also sees the rest of the flat metric in the mass term. What is the 'true' geometry, one might wonder, in line with Poincaré's modal conventionality argument? Infinitely many theories exhibit this bimetric 'geometry,' all with the total stress-energy's trace as source; thus geometry does not explain the field equations. The irrelevance of the Ehlers-Pirani-Schild construction to a critique of conventionalism becomes evident when multi-geometry theories are contemplated. Much as Seeliger envisaged, the smooth massless limit indicates underdetermination of theories by data between massless and massive scalar gravities---indeed an unconceived alternative. At least one version easily could have been developed before General Relativity; it then would have motivated thinking of Einstein's equations along the lines of Einstein's newly re-appreciated "physical strategy" and particle physics and would have suggested a rivalry from massive spin 2 variants of General Relativity. The Putnam-Grünbaum debate on conventionality is revisited with an emphasis on the broad modal scope of conventionalist views. Massive scalar gravity thus contributes to a historically plausible rational reconstruction of much of 20th-21st century space-time philosophy in the light of particle physics. An appendix reconsiders the Malament-Weatherall-Manchak conformal restriction of conventionality and constructs the 'universal force' influencing the causal structure. Subsequent works will discuss how massive gravity could have provided a template for a more Kant-friendly space-time theory that would have blocked Moritz Schlick's supposed refutation of synthetic _a priori_ knowledge, and how Einstein's false analogy between the Neumann-Seeliger-Einstein modification of Newtonian gravity and the cosmological constant \Lambda generated lasting confusion that obscured massive gravity as a conceptual possibility. (shrink)

Recent work on the history of General Relativity by Renn, Sauer, Janssen et al. shows that Einstein found his field equations partly by a physical strategy including the Newtonian limit, the electromagnetic analogy, and energy conservation. Such themes are similar to those later used by particle physicists. How do Einstein's physical strategy and the particle physics derivations compare? What energy-momentum complex did he use and why? Did Einstein tie conservation to symmetries, and if so, to which? How did his work (...) relate to emerging knowledge of the canonical energy-momentum tensor and its translation-induced conservation? After initially using energy-momentum tensors hand-crafted from the gravitational field equations, Einstein used an identity from his assumed linear coordinate covariance x'=Mx to relate it to the canonical tensor. Usually he avoided using matter Euler-Lagrange equations and so was not well positioned to use or reinvent the Herglotz-Mie-Born understanding that the canonical tensor was conserved due to translation symmetries, a result with roots in Lagrange, Hamilton and Jacobi. Whereas Mie and Born were concerned about the canonical tensor's asymmetry, Einstein did not need to worry because his Entwurf Lagrangian is modeled not so much on Maxwell's theory as on a scalar theory. Einstein's theory thus has a symmetric canonical energy-momentum tensor. But as a result, it also has 3 negative-energy field degrees of freedom. Thus the Entwurf theory fails a 1920s-30s a priori particle physics stability test with antecedents in Lagrange's and Dirichlet's stability work; one might anticipate possible gravitational instability. This critique of the Entwurf theory can be compared with Einstein's 1915 critique of his Entwurf theory for not admitting rotating coordinates and not getting Mercury's perihelion right. One can live with absolute rotation but cannot live with instability. Particle physics also can be useful in the historiography of gravity and space-time, both in assessing the growth of objective knowledge and in suggesting novel lines of inquiry to see whether and how Einstein faced the substantially mathematical issues later encountered in particle physics. This topic can be a useful case study in the history of science on recently reconsidered questions of presentism, whiggism and the like. Future work will show how the history of General Relativity, especially Noether's work, sheds light on particle physics. (shrink)

Already in 1835 Lobachevski entertained the possibility of multiple geometries of the same type playing a role. This idea of rival geometries has reappeared from time to time but had yet to become a key idea in space-time philosophy prior to Brown's _Physical Relativity_. Such ideas are emphasized towards the end of Brown's book, which I suggest as the interpretive key. A crucial difference between Brown's constructivist approach to space-time theory and orthodox "space-time realism" pertains to modal scope. Constructivism takes (...) a broad modal scope in applying to all local classical field theories---modal cosmopolitanism, one might say, including theories with multiple geometries. By contrast the orthodox view is modally provincial in assuming that there exists a _unique_ geometry, as the familiar theories have. These theories serve as the "canon" for the orthodox view. Their historical roles also suggest a Whiggish story of inevitable progress. Physics literature after c. 1920 is relevant to orthodoxy primarily as commentary on the canon, which closed in the 1910s. The orthodox view explains the spatio-temporal behavior of matter in terms of the manifestation of the real geometry of space-time, an explanation works fairly well within the canon. The orthodox view, Whiggish history, and the canon have a symbiotic relationship. If one happens to philosophize about a theory outside the canon, space-time realism sheds little light on the spatio-temporal behavior of matter. Worse, it gives the _wrong_ answer when applied to an example arguably _within_ the canon, a sector of Special Relativity, namely, _massive_ scalar gravity with universal coupling. Which is the true geometry---the flat metric from the Poincare' symmetry group, the conformally flat metric exhibited by material rods and clocks, or both---or is the question faulty? How does space-time realism explain the fact that all matter fields see the same curved geometry, when so many ways to mix and match exist? Constructivist attention to dynamical details is vindicated; geometrical shortcuts can disappoint. The more exhaustive exploration of relativistic field theories in particle physics, especially massive theories, is a largely untapped resource for space-time philosophy. (shrink)

James L. Anderson analyzed the novelty of Einstein's theory of gravity as its lack of "absolute objects." Michael Friedman's related work has been criticized by Roger Jones and Robert Geroch for implausibly admitting as absolute the timelike 4-velocity field of dust in cosmological models in Einstein's theory. Using the Rosen-Sorkin Lagrange multiplier trick, I complete Anna Maidens's argument that the problem is not solved by prohibiting variation of absolute objects in an action principle. Recalling Anderson's proscription of "irrelevant" variables, I (...) generalize that proscription to locally irrelevant variables that do no work in some places in some models. This move vindicates Friedman's intuitions and removes the Jones-Geroch counterexample: some regions of some models of gravity with dust are dust-free and so naturally lack a timelike 4-velocity, so diffeomorphic equivalence to is spoiled. Torretti's example involving constant curvature spaces is shown to have an absolute object on Anderson's analysis, viz., the conformal spatial metric density. The previously neglected threat of an absolute object from an orthonormal tetrad used for coupling spinors to gravity appears resolvable by eliminating irrelevant fields. However, given Anderson's definition, GTR itself has an absolute object : a change of variables to a conformal metric density and a scalar density shows that the latter is absolute. (shrink)

It is a commonplace in the philosophy of physics that any local physical theory can be represented using arbitrary coordinates, simply by using tensor calculus. On the other hand, the physics literature often claims that spinors \emph{as such} cannot be represented in coordinates in a curved space-time. These commonplaces are inconsistent. What general covariance means for theories with fermions, such as electrons, is thus unclear. In fact both commonplaces are wrong. Though it is not widely known, Ogievetsky and Polubarinov constructed (...) spinors in coordinates in 1965, enhancing the unity of physics and helping to spawn particle physicists' concept of nonlinear group representations. Roughly and locally, these spinors resemble the orthonormal basis or "tetrad" formalism in the symmetric gauge, but they are conceptually self-sufficient and more economical. The typical tetrad formalism is de-Ockhamized, with six extra field components and six compensating gauge symmetries to cancel them out. The Ogievetsky-Polubarinov formalism, by contrast, is Ockhamized, with most of the fluff removed. As developed nonperturbatively by Bilyalov, it admits any coordinates at a point, but "time" must be listed first. Here "time" is defined in terms of an eigenvalue problem involving the metric components and the matrix $diag$, the product of which must have no negative eigenvalues in order to yield a real symmetric square root that is a function of the metric. Thus even formal general covariance requires reconsideration; the atlas of admissible coordinate charts should be sensitive to the types and \emph{values} of the fields involved. Apart from coordinate order and the usual spinorial two-valuedness, Ogievetsky-Polubarinov spinors form, with the metric, a nonlinear geometric object, for which important results on Lie and covariant differentiation are recalled. Such spinors avoid a spurious absolute object in the Anderson-Friedman analysis of substantive general covariance. They also permit the gauge-invariant localization of the infinite-component gravitational energy in General Relativity. Density-weighted spinors exploit the conformal invariance of the massless Dirac equation to show that the volume element is absent. Thus instead of an arbitrary nonsingular matrix with 16 components, 6 of which are gauged away by a new local $O$ gauge group and one of which is irrelevant due to conformal covariance, one can, and presumably should, use density-weighted Ogievetsky-Polubarinov spinors coupled to the 9-component symmetric square root of the part of the metric that fixes null cones. Thus $\frac{7}{16}$ of the orthonormal basis is eliminated as surplus structure. Greater unity between spinors and tensors and the like is achieved, such as regarding conservation laws. Regarding the conventionality of simultaneity, an unusually wide range of $\epsilon$ values is admissible, but some extreme values are inadmissible. Standard simultaneity uniquely makes the spinor transformation law linear and independent of the metric, because transformations among the standard Cartesian coordinate systems fall within the conformal group, for which the spinor transformation law is linear. The surprising mildness of the restrictions on coordinate order as applied to the Schwarzschild solution is exhibited. (shrink)

In General Relativity in Hamiltonian form, change has seemed to be missing, defined only asymptotically, or otherwise obscured at best, because the Hamiltonian is a sum of first-class constraints and a boundary term and thus supposedly generates gauge transformations. Attention to the gauge generator G of Rosenfeld, Anderson, Bergmann, Castellani et al., a specially _tuned sum_ of first-class constraints, facilitates seeing that a solitary first-class constraint in fact generates not a gauge transformation, but a bad physical change in electromagnetism or (...) General Relativity. The change spoils the Lagrangian constraints, Gauss's law or the Gauss-Codazzi relations describing embedding of space into space-time, in terms of the physically relevant velocities rather than auxiliary canonical momenta. But the resemblance between the gauge generator G and the Hamiltonian H leaves still unclear where objective change is in GR. Insistence on Hamiltonian-Lagrangian equivalence, a theme emphasized by Castellani, Sugano, Pons, Salisbury, Shepley and Sundermeyer among others, holds the key. Taking objective change to be ineliminable time dependence, one recalls that there is change in vacuum GR just in case there is no time-like vector field xi^a satisfying Killing's equation L_xi g_mn=0, because then there exists no coordinate system such that everything is independent of time. Throwing away the spatial dependence of GR for convenience, one finds explicitly that the time evolution from Hamilton's equations is real change just when there is no time-like Killing vector. The inclusion of a massive scalar field is simple. No obstruction is expected in including spatial dependence and coupling more general matter fields. Hence change is real and local even in the Hamiltonian formalism. The considerations here resolve the Earman-Maudlin standoff over change in Hamiltonian General Relativity: the Hamiltonian formalism is helpful, and, suitably reformed, it does not have absurd consequences for change and observables. Hence the classical problem of time is resolved. The Lagrangian-equivalent Hamiltonian analysis of change in General Relativity is compared to Belot and Earman's treatment. The more serious quantum problem of time, however, is not automatically resolved due to issues of quantum constraint imposition. (shrink)

Change and local spatial variation are missing in canonical General Relativity's observables as usually defined, an aspect of the problem of time. Definitions can be tested using equivalent formulations of a theory, non-gauge and gauge, because they must have equivalent observables and everything is observable in the non-gauge formulation. Taking an observable from the non-gauge formulation and finding the equivalent in the gauge formulation, one requires that the equivalent be an observable, thus constraining definitions. For massive photons, the de Broglie-Proca (...) non-gauge formulation observable A_{\mu} is equivalent to the Stueckelberg-Utiyama gauge formulation quantity A_{\mu} + \partial_{\mu} \phi, which must therefore be an observable. To achieve that result, observables must have 0 Poisson bracket not with each first-class constraint, but with the Rosenfeld-Anderson-Bergmann-Castellani gauge generator G, a tuned sum of first-class constraints, in accord with the Pons-Salisbury-Sundermeyer definition of observables. The definition for external gauge symmetries can be tested using massive gravity, where one can install gauge freedom by parametrization with clock fields X^A. The non-gauge observable g^{\mu\nu} has the gauge equivalent X^A,_{\mu} g^{\mu\nu} X^B,_{\nu}. The Poisson bracket of X^A,_{\mu} g^{\mu\nu} X^B,_{\nu} with G turns out to be not 0 but a Lie derivative. This non-zero Poisson bracket refines and systematizes Kuchař's proposal to relax the 0 Poisson bracket condition with the Hamiltonian constraint. Thus observables need covariance, not invariance, in relation to external gauge symmetries. The Lagrangian and Hamiltonian for massive gravity are those of General Relativity + \Lambda + 4 scalars, so the same definition of observables applies to General Relativity. Local fields such as g_{\mu\nu} are observables. Thus observables change. Requiring equivalent observables for equivalent theories also recovers Hamiltonian-Lagrangian equivalence. (shrink)

An overlap between the general relativist and particle physicist views of Einstein gravity is uncovered. Noether's 1918 paper developed Hilbert's and Klein's reflections on the conservation laws. Energy-momentum is just a term proportional to the field equations and a "curl" term with identically zero divergence. Noether proved a \emph{converse} "Hilbertian assertion": such "improper" conservation laws imply a generally covariant action. Later and independently, particle physicists derived the nonlinear Einstein equations assuming the absence of negative-energy degrees of freedom for stability, along (...) with universal coupling: all energy-momentum including gravity's serves as a source for gravity. Those assumptions imply that the energy-momentum is only a term proportional to the field equations and a symmetric curl, which implies the coalescence of the flat background geometry and the gravitational potential into an effective curved geometry. The flat metric, though useful in Rosenfeld's stress-energy definition, disappears from the field equations. Thus the particle physics derivation uses a reinvented Noetherian converse Hilbertian assertion in Rosenfeld-tinged form. The Rosenfeld stress-energy is identically the canonical stress-energy plus a Belinfante curl and terms proportional to the field equations, so the flat metric is only a convenient mathematical trick without ontological commitment. Neither generalized relativity of motion, nor the identity of gravity and inertia, nor substantive general covariance is assumed. The more compelling criterion of lacking ghosts yields substantive general covariance as an output. Hence the particle physics derivation, though logically impressive, is neither as novel nor as ontologically laden as it has seemed. (shrink)

An in-situ transmission electron microscopy straining technique has been used to investigate the dynamics of dislocation-defect interactions in ion-irradiated copper and the subsequent formation of defect-free channels. Defect removal frequently required interaction with multiple dislocations, although screw dislocations were more efficient at annihilating defects than edge dislocations were. The defect pinning strength was determined from the dislocation curvature prior to breakaway and exhibited values ranging from 15 to 175 MPa. Pre-existing dislocations percolated through the defect field but did not show (...) long-range motion, indicating that they are not responsible for creating the defect-free channels and have a limited contribution to the total plasticity. Defect-free channels were associated with the movement of many dislocations, which originated from grain boundaries or regions of high stress concentration such as at a crack tip. These experimental results are compared with atomistic simulations of the interaction of partial dislocations with defects in copper and a dispersed-barrier-hardening crystal plasticity model to correlate the observations to bulk mechanical properties. (shrink)

Woodger's substitution of the "allegedly more precise term 'an environmentally insensitive set of lives'" for the term 'an inborn character' is discussed by haldane. He proposes that "woodger's definitions do not appear to have reached precision." (staff).

In the Foundations of the Metaphysics of Morals Kant presented a method for discovering what morality requires us to do in any situation and claimed that it is a method everyone can use. The method consists in testing one's maxim against the requirement stated in the formulations of the categorical imperative. There has been endless discussion of the adequacy of Kant's method in giving moral guidance, but there has been little effort to situate Kant's view of ethical method in its (...) historical context. In this paper I try to do so. I take the label "method of ethics" from the work of Henry Sidgwick. A method of ethics, he says, is any rational procedure by which we determine what it is right for an individual to do or what an individual ought to do. Since the moralists I want to consider do not all think of morality as rational, I shall broaden the notion by saying that a method is any systematic or regular procedure, rational or not, by which we determine what morality requires... (shrink)

Company–community agreements are widely considered to be a practical mechanism for recognising the rights, needs and priorities of peoples impacted by mining, for managing impacts and ensuring that mining-derived benefits are shared. The use and application of company–community agreements is increasing globally. Notwithstanding the utility of these agreements, the gender dimensions of agreement processes in mining have rarely been studied. Prior research on women and mining demonstrates that women are often more adversely impacted by mining than men, and face greater (...) challenges in accessing development opportunities that mining can bring. Nonetheless, there is currently little guidance for companies, government or communities in bringing a gender perspective to the fore in mining and agreement processes. It is undisputed in human development literature that investment in women and sensitivity to gender delivers long-term health, education and local development outcomes. In mining and development, a number of key factors remain unexplored. These include: women’s participation in agreement processes, the gendered distribution of agreement benefits, and the extent to which impacts and benefits influence women’s development and economic inclusion. This paper presents the results of the first phase of an applied research project undertaken by the Centre for Social Responsibility in Mining at The University of Queensland and funded by the Minerals Council of Australia and the Department of Foreign Affairs and Trade. The project sought to connect with experienced practitioners who had been directly involved in mining and agreement processes to document and analyse grounded perspectives on gender dynamics and agreements, and connect those experiences with the broader literature. Findings from this study have implications for the role of mining companies and governments in promoting gender equality and empowerment as part of their commitments to sustainable development. They also have implications for community groups and their representatives in terms of how they might engage in agreement processes to maximise women’s participation and influence. In many social contexts, a key challenge will be navigating the territory of cultural norms and gender equality, particularly in cultures where women’s influence in the public sphere is not strong. The authors argue that without consideration of a gender perspective, including gender’s intersection with other factors such as class, race, poverty level, ethnic group and age, mining agreements will not be inclusive, may exacerbate gender inequalities, and fail to contribute to long-term sustainable development. (shrink)

The path to consensus about physicians’ exercise of conscience was not linear. It looped back on itself as new insights illuminated earlier deliberations and in turn led to further insights. In particular, coming to agreement about physicians’ responsibility in regard to referral charted a route through many course corrections.

Disturbed identity is one of the defining characteristics of Borderline Personality Disorder manifested in a broad spectrum of dysfunctions related to the self, including disturbances in meaning-generating self-narratives. Autobiographical memories are memories of personal events that provide crucial building-blocks in our construction of a life-story, self-concept, and a meaning-generating narrative identity. The cultural life script represents culturally shared expectations as to the order and timing of life events in a prototypical life course within a given culture. It is used to (...) organize one’s autobiographical memories. Here, 17 BPD-patients, 14 OCD-patients, and 23 non-clinical controls generated three important autobiographical memories and their conceptions of the cultural life script. BPD-patients reported substantially more negative memories, fewer of their memories were of prototypical life script events, their memory narratives were less coherent and more disoriented, and the overall typicality of their life scripts was lower as compared with the other two groups. (shrink)

We give a unified account of some results in the development of Polyadic Inductive Logic in the last decade with particular reference to the Principle of Spectrum Exchangeability, its consequences for Instantial Relevance, Language Invariance and Johnson's Sufficientness Principle, and the corresponding de Finetti style representation theorems.

It has been argued that neural networks and other forms of analog computation may transcend the limits of Turing-machine computation; proofs have been offered on both sides, subject to differing assumptions. In this article I argue that the important comparisons between the two models of computation are not so much mathematical as epistemological. The Turing-machine model makes assumptions about information representation and processing that are badly matched to the realities of natural computation (information representation and processing in or inspired by (...) natural systems). This points to the need for new models of computation addressing issues orthogonal to those that have occupied the traditional theory of computation. (shrink)